Nuprl Definition : or 11,40

P  Q == P + Q 
latex


DefinitionsP  Q

origin